Black theology, which is linked to black power in the context of the United States of America and black consciousness in the context of South Africa is often regarded as having nothing to do with spirituality, faith and salvation. It is often regarded by critics as radical, militant and political. In some circles its theological character is questioned. Advocates of liberation theology, past and present are accused of mixing religion with politics. The article traces the history of black theology, as (...) part of liberation theology, which started in the 1960s in three contexts, namely Latin America, United States of America and South Africa. The article argues that spirituality, faith and salvation are central to black theology of liberation. The critical theological reflection that black theology of liberation is all about happens in the context of the spiritual journey of the poor believer and oppressed.Contribution: The contribution that this article makes is to serve as a corrective discourse that rebuts the mistaken accusation that black liberation theology has nothing to do with spirituality and faith. The article makes a direct link between spirituality and faith on the one hand and on the other hand liberating Christian praxis of the poor in their spiritual journey, in the context of South Africans as they struggle to liberate themselves amid poverty, service delivery struggles and COVID-19 and its implications. (shrink)

Employing the rabbinical practice of midrashic reading in order to unfold a passage from The Song of Songs, the manner in which a European/colonial affirmation of the seasons, particularly the season of spring, might become a mode of injustice in a non-temperate climate is explored. The wilding of seasons imposed by colonial usurpation of country finds a particular case study in the invasion of Arrente lands in Australia by buffel grass even as the effects of climate change are being (...) felt. In conclusion, an argument is made for recasting the practice of midrashic reading in order to render the seasons as they are found in TheSong of Songs vulnerable to unanticipated intonations of the seasons as they emerge in Arrente country. (shrink)

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

We examine the notion of inquiry and argue that philosophic inquiry is a transcendental activity. Activities, viewed as conforming to intelligible canons, applying to appropriate contexts, and directed to specifiable ends, are contrasted with their empirical descriptions. Inquiry, characterized as an internalized, continuous activity directed to an intrinsic end, and fundamentally presupposed by other activities, is considered at the levels of (1) science, (2) philosophy and (3) transcendental philosophy. We argue that (2) is a transcendental activity which determines non-empirical concepts (...) and is presupposed by (1). Alternative philosophic frameworks are grounded on hypothetical canons conceived by intelligence itself, which imply interpretations of objectivity and universality claiming validity for the community of inquirers, but they can always be rejected. We consider the possibility of categorical canons operating as second-order rules necessarily presupposed for the formulation of alternative philosophic frameworks, and (3) would be the activity of identifying, justifying and applying such transcendental canons of inquiry in general. Finally, we suggest that the only possible justification of such categorical canons would be a kind of ontological proof. Thus, a given philosophic approach reflects the transcendental activity of determining non-empirical concepts through the implementation of its fundamental regulative norms; but transcendental philosophy would determine the concept of philosophy itself through implementation of the categorical canons of inquiry in the construction of philosophic systems. (shrink)

I suppose the most obvious difference in fact between dreams and waking life is the chaotic nature of the former. But this somehow seems to be a mere contingency. Some of our dreams are more contingent than others, and it seems hard to impose any upper limit of coherence on them. Also it is usually after we wake up that they seem incoherent. Similarly many dreams are largely matters of sensation and emotion, mood and atmosphere, with little or no reasoning (...) in them; but this again is contingent, and dreams vary; Professor Broad, 56-57) relates a quite detailed scientific experiment which he carried out in a dream. (shrink)

Part I of this trilogy, Historical and Scientific Setting, set out a general context for selecting a certain subclass of inter-theoretic relations as achieving appropriate explanatory and ontological unification – hence for properly being labelled reductive. Something of the complexity of these relations in real science was explored. The present article concentrates on the role which identity plays in structuring the reduction relation and so in achieving ontological and explanatory unification.

Different approaches have been proposed in order to achieve knowledge integration for coronary care monitoring applications, usually in the form of expert systems. The clinical impact of these expert systems, which are based only on "shallow" knowledge, has not been remarkable due to the difficulties associated with the construction and maintenance of a complete knowledge base. Model-based systems represent an alternative to these problems because they allow efficient integration of the "deep" knowledge on the underlying physiological phenomena being monitored. In (...) this work, a brief review of existing model-based systems for cardiac rhythm interpretation is presented, followed by the description of a new system forCardiac Arrhythmia Recognition by Model-Based ECG Matching (CARMEM). Fundamental characteristics of CARMEM are presented; in particular, its ability to provide on-line parameter adaptation to simulate complex rhythms and to match observed ECG signals. The proposed model can be useful for the explanation of the origin of cardiac arrhythmias and contribute towards their robust characterization in the context of coronary care units. (shrink)

Книга рассчитана на тех, кто по своей специальности занимается философией, литературоведением и в дальнейшем углубят свои знания в этом вопросе, а также для широкого круга читателей.

The physician charter on medical professionalism creates standards of ethical behaviour for physicians and has been endorsed by professional organisations worldwide. It is based on the cardinal principles of the primacy of patient welfare, patient autonomy, and social welfare. There has been little discussion in the bioethics community of the doctrine of the charter and none from a Jewish ethical perspective. In this essay the authors discuss the obligations of the charter from a Jewish ethical viewpoint and call on other (...) cultures to develop their own unique perspectives on this important document. (shrink)

In the original article published, the supplementary material is uploaded by mistake which has no association with the content of the article.